Distributed Simulation of Heterogeneous and Real-time Systems

This work describes a framework for distributed simulation of cyber-physical systems (CPS). Modern CPS comprise large numbers of heterogeneous components, typically designed in very different tools and languages that are not or not easily composeable. Evaluating such large systems requires tools that integrate all components in a systematic, well-defined manner. This work leverages existing frameworks to facilitate the integration offers validation by simulation. A framework for distributed simulation is the IEEE High-Level Architecture (HLA) compliant tool CERTI, which provides the infrastructure for co-simulation of models in various simulation environments as well as hardware components. We use CERTI in combination with Ptolemy II, an environment for modeling and simulating heterogeneous systems. In particular, we focus on models of a CPS, including the physical dynamics of a plant, the software that controls the plant, and the network that enables the communication between controllers. We describe the Ptolemy extensions for the interaction with HLA and demonstrate the approach on a flight control system simulation

Multi-domain Modelling in DESTECS and Ptolemy - a Tool Comparison

Developing embedded systems with high performance and safety requirements is notoriously hard. It is not enough to have a thorough understanding of the control algorithms used, but a deep understanding of the monitored and controlled physical environment is required to ensure that performance and safety requirements are met. Various tools deal with modeling such multi-domain systems and provide evaluation through simulation. Two such tools — DESTECS and Ptolemy — are examined and compared in this paper, using a case study of an aircraft fuel system. Usability, quantitative, and qualitative comparison criteria are used to give a thorough analysis of the capabilities of the two tools. The contribution of this paper is a description of pros and cons of each tool, helping future users to choose the right tool that suits their needs

Network Latency and Packet Delay Variation in Cyber-physical Systems

The problem addressed in this paper is the limitation imposed by network elements, especially Ethernet elements, on the real-time performance of time-critical systems. Most current network elements are concerned only with data integrity, connection, and throughput with no mechanism for enforcing temporal semantics. Existing safety-critical applications and other applications in industry require varying degrees of control over system-wide temporal semantics. In addition, there are emerging commercial applications that require or will benefit from tighter enforcement of temporal semantics in network elements than is currently possible. This paper examines these applications and requirements and suggests possible approaches to imposing temporal semantics on networks. Model-based design and simulation is used to evaluate the effects of network limitations on time-critical systems

Distributed Simulation of Heterogeneous and Real-time Systems

This work describes a framework for distributed simulation of cyber-physical systems (CPS). Modern CPS comprise large numbers of heterogeneous components, typically designed in very different tools and languages that are not or not easily composeable. Evaluating such large systems requires tools that integrate all components in a systematic, well-definedmanner. This work leverages existing frameworks to facilitatethe integration offers validation by simulation. A framework for distributed simulation is the IEEE High-Level Architecture (HLA) compliant tool CERTI, which provides the infrastructure for co-simulation of models in various simulation environments as well as hardware components. We use CERTI in combination with Ptolemy II, an environment for modeling and simulating heterogeneous systems. In particular, we focus on models of a CPS, including the physical dynamics of a plant, the software that controls the plant, and the network that enables the communication between controllers. We describe the Ptolemy extensions for the interaction with HLA and demonstrate the approach on a flight control system simulation

Design of mechatronic systems through aspect and object-oriented modeling

Design of mechatronic systems involves the use of multiple disciplines, from mechanics to electronics and computer science. Different granularities of hybrid co-simulations with increasing details can be used during the design process. However, there is the need of modeling tools for effectively managing the necessary abstraction layers. This work proposes a combination of Aspect-Oriented and Object-Oriented modeling for reaching the goal. Moreover, it shows how the utilization of these tools can facilitate design-space exploration, segregation of domains of expertise and enhances co-design

LNCS

Responsiveness—the requirement that every request to a system be eventually handled—is one of the fundamental liveness properties of a reactive system. Average response time is a quantitative measure for the responsiveness requirement used commonly in performance evaluation. We show how average response time can be computed on state-transition graphs, on Markov chains, and on game graphs. In all three cases, we give polynomial-time algorithms